|
Multidimensionální automaty a jejich jazyky
Hladík, Zdeněk ; Kocman, Radim (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce obsahuje stručný přehled teorie dvoudimensionálních jazyků, která byla tématem předchozí práce autorů. Dále jsou za pomoci této teorie představeny jazyky třídimensionální a multidimensionální. Pro každý druh těchto formálních jazyků je představen jejich ekvivalent řetězce a operace s danými řetězci. Především jsou také pro každý druh těchto jazyků představeny také příslušné vyvinuté formální gramatiky a především automaty. Spolu s těmito pojmy je součástí práce i demonstrace vyvinuté aplikace simulující představené multidimensionální automaty.
|
| |
|
Demonstrace vlastností stromových gramatik
Kunštátský, Martin ; Čermák, Martin (oponent) ; Koutný, Jiří (vedoucí práce)
Stromové gramatiky jsou gramatiky řízené prostřednictvím omezení kladených na jejich derivační stromy. Jedná se o jednoduché a přirozené rozšíření bezkontextových gramatik. Existuje několik typů kontroly derivačního stromu, v této práci jsou zmíněny dva principy: horizontální a vertikální kontrola. Součástí této práce je také aplikace pro demonstraci vlastností stromových gramatik, implementovaná v jazyce Python.
|
|
Generátor 3D objektů s využitím L-systémů
Kvita, Jakub ; Solár, Peter (oponent) ; Vrábel, Lukáš (vedoucí práce)
Cílem této bakalářské práce bylo vytvořit interaktivní systém pro generování 3D modelů. Generátor je založen na L-systémech jako druhu formálních gramatik a želví grafice pro 3D modelování. Aplikace byla vytvořena v Javě SE s pomocí knihovny JOGL jako přístupovým bodem k OpenGL k vykreslování grafiky. Práce postupně rozebírá teoretický základ L-systémů, želví grafiku a vykreslování 3D objektů a poté popisuje vytvoření aplikace pomocí získaných znalostí.
|
|
Grammar-based genetic programming
Nohejl, Adam ; Mráz, František (vedoucí práce) ; Iša, Jiří (oponent)
Genetické programování (GP) založené na stromech má několik známých nedostatků: složité přizpůsobení specifickým programovacím jazykům a prostředím, problém uzávěru a více typů a problém deklarativní reprezentace vědomostí. Většina metod, které se snaží tyto problémy vyřešit, je založena na formálních gramatikách. Přesné důsledky vlastností, které je odlišují, je těžké analyzovat a dobré srovnání výsledků v konkrétních problémech chybí. Tato práce zkoumá tři metody založené na gramatikách: genetické programování s bezkontextovými gramatikami (CFG-GP), včetně jeho varianty GPHH nedávno aplikované na rozvrhování zkoušek, gramatickou evoluci (GE) a LOGENPRO, pojednává o tom, jak řeší problémy GP, a porovnává je v sérii experimentů v šesti aplikacích podle četností úspěchu a charakteristik derivačních stromů. Práce ukazuje, že GE ani LOGENPRO neposkytují podstatnou výhodu v žádném z experimentů a analyzuje rozdíly v účincích operátorů používaných v CFG-GP a GE. Jsou také prezentovány výsledky velmi efektivní implementace metod CFG-GP a GE.
|
|
Multidimensionální automaty a jejich jazyky
Hladík, Zdeněk ; Kocman, Radim (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce obsahuje stručný přehled teorie dvoudimensionálních jazyků, která byla tématem předchozí práce autorů. Dále jsou za pomoci této teorie představeny jazyky třídimensionální a multidimensionální. Pro každý druh těchto formálních jazyků je představen jejich ekvivalent řetězce a operace s danými řetězci. Především jsou také pro každý druh těchto jazyků představeny také příslušné vyvinuté formální gramatiky a především automaty. Spolu s těmito pojmy je součástí práce i demonstrace vyvinuté aplikace simulující představené multidimensionální automaty.
|
|
Grammar-based genetic programming
Nohejl, Adam ; Mráz, František (vedoucí práce) ; Iša, Jiří (oponent)
Genetické programování (GP) založené na stromech má několik známých nedostatků: složité přizpůsobení specifickým programovacím jazykům a prostředím, problém uzávěru a více typů a problém deklarativní reprezentace vědomostí. Většina metod, které se snaží tyto problémy vyřešit, je založena na formálních gramatikách. Přesné důsledky vlastností, které je odlišují, je těžké analyzovat a dobré srovnání výsledků v konkrétních problémech chybí. Tato práce zkoumá tři metody založené na gramatikách: genetické programování s bezkontextovými gramatikami (CFG-GP), včetně jeho varianty GPHH nedávno aplikované na rozvrhování zkoušek, gramatickou evoluci (GE) a LOGENPRO, pojednává o tom, jak řeší problémy GP, a porovnává je v sérii experimentů v šesti aplikacích podle četností úspěchu a charakteristik derivačních stromů. Práce ukazuje, že GE ani LOGENPRO neposkytují podstatnou výhodu v žádném z experimentů a analyzuje rozdíly v účincích operátorů používaných v CFG-GP a GE. Jsou také prezentovány výsledky velmi efektivní implementace metod CFG-GP a GE.
|
| |
|
Generátor 3D objektů s využitím L-systémů
Kvita, Jakub ; Solár, Peter (oponent) ; Vrábel, Lukáš (vedoucí práce)
Cílem této bakalářské práce bylo vytvořit interaktivní systém pro generování 3D modelů. Generátor je založen na L-systémech jako druhu formálních gramatik a želví grafice pro 3D modelování. Aplikace byla vytvořena v Javě SE s pomocí knihovny JOGL jako přístupovým bodem k OpenGL k vykreslování grafiky. Práce postupně rozebírá teoretický základ L-systémů, želví grafiku a vykreslování 3D objektů a poté popisuje vytvoření aplikace pomocí získaných znalostí.
|
|
Demonstrace vlastností stromových gramatik
Kunštátský, Martin ; Čermák, Martin (oponent) ; Koutný, Jiří (vedoucí práce)
Stromové gramatiky jsou gramatiky řízené prostřednictvím omezení kladených na jejich derivační stromy. Jedná se o jednoduché a přirozené rozšíření bezkontextových gramatik. Existuje několik typů kontroly derivačního stromu, v této práci jsou zmíněny dva principy: horizontální a vertikální kontrola. Součástí této práce je také aplikace pro demonstraci vlastností stromových gramatik, implementovaná v jazyce Python.
|